Automatic program verification system
[计] 自动程序验证系统
🧩 词语组成解析
automatic
['ɔtə'mætɪk]
adj. 自动的;不假思索的，无意识的;必然发生的;
n. 自动化机器或设备;自动手枪;
autom=auto，autom自动+atic有...性质的 → 自动的；机械的
verification
[,verifi'keiʃən]
n. 证明;证实;<哲>（指通过经验）证明（某命题正确）;核实;
🗣️ 情景例句
I'm concerned.
我很担心。
He is good at reading and writing, but he wishes he knew how to understand and speak better.
他的阅读和写作是强项，但他希望知道怎样去理解和说得更好。
Happy birthday! he said. Here's your present.
“生日快乐！”他说，“这是给你的礼物。”